基于符号模型检测的Web服务组合形式化验证

随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息会话的Web服务有限状态自动机的形式化定义。最后实例验证了Web服务组合交互的正确性和有无死锁状态现象,进一步证明了方法的可行性。     

Waste waters from the leachate of mushroom as vine foliar treatments: influence on grape volatile composition over two consecutive seasons

Edible mushrooms production presents a potential problem for the environment, due to the large amount of waste generated. These wastes contain nitrogenous matter, which could be used as biostimulant in plants. The aim of this work was to study the effect of waste waters, from the mushroom production process, applied at veraison and 1 week later to grapevine leaves, on grape volatile compounds over two vintages. The results evidenced that mushroom water treatment decreased the grape content of certain terpenoids, C₁₃ norisoprenoids, benzenoid compounds and esters, increasing C6 compounds content during the first season. Treated mushroom water application slightly affected grape volatile composition. This was the treatment that least affected the content of grape volatile composition. Few differences were found after the biostimulation during the second vintage. The season was the dominant factor of grape volatile content variation compared to the treatment and their interaction.     

Mechanical and thermal properties and microstructural evolution of Ta-doped Nb4AlC3

(Nb_1-xTa_x)₄AlC₃ (x = 0–0.5) ceramics were prepared by the hot press sintering method. The XRD results show that the second phase (Nb_1-xTa_x)C is formed when the Ta content increases to 25 mol%. The SEM micrographs show that (Nb_1-xTa_x)C has a core/rim structure, whose formation mechanism was also investigated. Substituting some Ta for Nb can significantly improve the mechanical properties of Nb₄AlC₃. (Nb_0.75Ta_0.25)₄AlC₃ exhibits an excellent fracture toughness of 8.3 ± 0.3 MPa m^1/2 at room temperature (RT). The highest Young's modulus (349 ± 16 GPa) and Vickers hardness (4.5 ± 0.3 GPa) at RT are exhibited by the (Nb_0.5Ta_0.5)₄AlC₃ sample, which correlate to increases of 18% and 80%, respectively, compared with those of Nb₄AlC₃. The flexural strengths of (Nb_0.5Ta_0.5)₄AlC₃ are 439 ± 18 MPa at RT and 344 ± 22 MPa at 1100 °C, which correlate to increases of 27% and 45%, respectively, compared with those of Nb₄AlC₃. The solid solution of Ta and the formation of (Nb_1-xTa_x)C are beneficial to the strengthening of Nb₄AlC₃. The coefficient of thermal expansion (CTE) increases slightly from 7.08 × 10⁻⁶ K⁻¹ for Nb₄AlC₃ to 7.24 × 10⁻⁶ K⁻¹ for (Nb_0.75Ta_0.25)₄AlC₃ at 25–1400 °C. The thermal conductivity of (Nb_0.75Ta_0.25)₄AlC₃ (28.4–29.8 W/m·K) is higher than that of Nb₄AlC₃ (18.1–21.2 W/m·K) over the whole test range (25–1000 °C). Owing to their excellent mechanical and thermal properties, Ta-doped Nb₄AlC₃ ceramics have good potential as structural materials.     

基于正交试验设计的橡胶沥青性能影响因素研究

将废旧轮胎粉碎后加入沥青中既可以改善沥青的性能,又可以减少废旧轮胎对环境造成的污染。本文基于橡胶沥青的针入度、软化点、延度等技术指标,研究橡胶沥青的材料组成和制备工艺参数对橡胶沥青性能的影响,设计了五因素四水平正交试验,根据试验结果初步确定了最佳橡胶沥青制备参数,并在考虑橡胶沥青加工安全性的基础上对参数进行了优化,最终确定了橡胶沥青原材料的选用原则及制备参数。     

Effects of breed,farm intensiveness,and cow productivity level on cheese-making ability predicted using infrared spectral data at the population level

Fourier-transform infrared (FTIR) spectra collected during milk recording schemes at population level can be used for predicting novel traits of interest for farm management, cows' genetic improvement, and milk payment systems. The aims of this study were as follows. (1) To predict cheese yield traits using FTIR spectra from routine milk recordings exploiting previously developed calibration equations. (2) To compare the predicted cheese-making abilities of different dairy and dual-purpose breeds. (3) To analyze the effects of herds' level of intensiveness (HL) and of the cow's level of productivity (CL). (4) To compare the patterns of predicted cheese yields with the patterns of milk composition in different breeds to discern the drivers of cheese-making efficiency. The major sources of variation of FTIR predictions of cheese yield ability (fresh cheese or cheese solids produced per unit milk) of individual milk samples were studied on 115,819 cows of 4 breeds (2 specialized dairy breeds, Holstein and Brown Swiss, and 2 dual-purpose breeds, Simmental and Alpine Grey) from 6,430 herds and exploiting 1,759,706 FTIR test-day spectra collected over 7 yr of milk sampling. Calibration equations used were previously developed on 1,264 individual laboratory model cheese procedures (cross-validation R² 0.85 and 0.95 for fresh and solids cheese yields, respectively). The linear model used for statistical analysis included the effects of parity, lactation stage, year of calving, month of sampling, HL, CL, breed of cow, and the interactions breed × HL and breed × CL. The HL and CL stratifications (5 classes each) were based on average daily secretion of milk net energy per cow. All effects were highly significant. The major conclusions were as follows. (1) The FTIR-based prediction of cheese yield of milk goes beyond the knowledge of fat and protein content, partially explaining differences in cheese-making ability in different cows, breeds and herds. (2) Differences in cheese yields of different breeds are only partially explained by milk fat and protein composition, and less productive breeds are characterized by a higher milk nutrient content as well as a higher recovery of nutrients in the cheese. (3) High-intensive herds not only produce much more milk, but the milk has a higher nutrient content and a higher cheese yield, whereas within herds, compared with less productive cows, the more productive cows have a much greater milk yield, milk with a greater content of fat but not of protein, and a moderate improvement in cheese yield, differing little from expectations based on milk composition. Finally, (4) the effects of HL and CL on milk quality and cheese-making ability are similar but not identical in different breeds, the less productive ones having some advantage in terms of cheese-making ability. We can obtain FTIR-based prediction of cheese yield from individual milk samples retrospectively at population level, which seems to go beyond the simple knowledge of milk composition, incorporating information on nutrient retention ability in cheese, with possible advantages for management of farms, genetic improvement of dairy cows, and milk payment systems.     

植物蛋白素肉原料与工艺的研究进展

为缓解肉类供给不足的压力,以营养价值较高的植物蛋白素肉产品替代传统肉类成为食品研究发展的新方向。然而,目前缺少对植物蛋白素肉的产品配方、加工技术、产品品质、消费者态度等的系统综述。因此,该文总结了植物蛋白素肉的组成成分及其对产品品质的影响,分析了植物蛋白素肉在加工过程中所应用的加工技术及在质构、颜色、风味、营养方面的品质现状,进而阐述了植物蛋白素肉的市场接受程度,以期促进植物蛋白素肉科学研究的进一步发展,并促进其产品市场的扩大化。     

Mechanical high-energy treatment of TiNi powder and phase changes after electrochemical hydrogenation

The paper presents the results obtained for the effect of ball milling of Ti–Ni powder, which is close in composition to the equiatomic one, on electrochemical hydrogenation. It is shown that the average size of the powder particles measured by BET and laser diffraction methods is found to reduce during milling, while the average size of the powder particles measured by SEM changes to attain its minimum within 30-s milling due to destruction and subsequent aggregation of particles. The powder in its initial state consists of a mixture of TiNi (austenite, martensite), Ti₂Ni, and TiNi₃ phases, and after ball milling, an X-ray amorphous phase is formed. The CDD size of the TiNi phase (austenite) reduces from 25 to 4 nm. It is found that the lattice parameters of the TiNi (austenite) and Ni₃Ti phases do not change during electrochemical hydrogenation, whereas the crystal lattice parameter of the Ti₂Ni phase increases, which indicates the predominant interaction of hydrogen with the Ti₂Ni phase. The lattice parameter of the Ti₂Ni based phase corresponds to Ti₂NiH_0.5 and Ti₂NiH_0.8 hydrides depending on the milling time and hydrogenation time. It is found that there is an “incubation period” of hydrogenation of the Ti₂Ni phase, which attains 90 min.     

High-performance Pb(Ni1/3Nb2/3)O3-PbZrO3-PbTiO3 ceramics with the triple point composition

Ternary 0.552Pb(Ni_1/3Nb_2/3)O₃-xPbZrO₃-(0.448-x)PbTiO₃ (PNN-PZ-PT) ceramics near the triple point compositions were fabricated by an improved two-step sintering method. The triple point composition 0.552PNN-0.135PZ-0.313PT ceramic has outstanding piezoelectric performance with piezoelectric coefficient d₃₃ = 1200 pC/N. Its easy fabrication and low cost make this piezoelectric material an excellent candidate for high sensitivity sensors and ultrasonic transducers. The evolution of domain structures for ceramics with composition near the triple point provides deeper insight into the mechanism of ultrahigh piezoelectric properties of PNN-PZ-PT ceramics.     

Phase composition,microstructure and thermophysical properties of the Srx(Zr0.9Y0.05Yb0.05)O1.95+x ceramics

Sr_x(Zr_0.9Y_0.05Yb_0.05)O_1.95+x (x=1.0, 0.9, 0.8, 0.7) ceramics were prepared by solid state reaction sintering. The sintered Sr_1.0(Zr_0.9Y_0.05Yb_0.05)O_2.95 is a single-phase solid solution while the sintered Sr_x(Zr_0.9Y_0.05Yb_0.05)O_1.95+x (x=0.9?0.7) are composites, and a significant grain growth inhibition is observed in the sintered Sr_x(Zr_0.9Y_0.05Yb_0.05)O_1.95+x (x=1.0, 0.9). Rare-earth elements distribution in the bulk materials indicates that Yb and Y preferentially substitute Zr-sites in SrZrO₃, and the highest solubility of RE₂O₃ in pure SrZrO₃ is ～0.8 mol%. The sintered Sr_x(Zr_0.9Y_0.05Yb_0.05)O_1.95+x have high thermal expansion coefficients up to ～11.0×10^?6 K^-1 (1200°C). Sr_0.8(Zr_0.9Y_0.05Yb_0.05)O_2.75 has the lowest thermal conductivity of 1.38 W·m^-1·K^-1 at 800°C. Sr_x(Zr_0.9Y_0.05Yb_0.05)O_1.95+x (x=1.0, 0.9, 0.8) show no phase transition from 600 to 1400°C, whereas Sr_x(Zr_0.9Y_0.05Yb_0.05)O_1.95+x (x=0.9, 0.8) have excellent high-temperature phase stability over the whole investigated temperature range. Therefore, Sr_x(Zr_0.9Y_0.05Yb_0.05)O_1.95+x (x=1.0, 0.9, 0.8) are considered as promising TBCs materials that might be operated at higher temperatures compared to YSZ.     

富芳烃重油组分结构调变对中间相沥青形成的影响机制

对重油富芳烃组分转化为次生沥青及其氢化改性沥青的热转化行为进行了比较，并对热转化过程中体系化学结构组成特征对中间相形成的影响进行了研究。采用红外光谱及氢核磁共振波谱，对比分析了次生沥青及其氢化改性沥青的化学结构组成特征；借助偏光显微镜、X射线衍射，考察了两体系中间相沥青的形成过程。结果表明：控制体系短烷基侧链含量可有效抑制过度炭化的发生，提高炭化产物的微观有序度；短烷基侧链可以持续稳定释放出小分子自由基，对大分子自由基反应进行调控，显著提升炭化产物微观结构的均一性。